Manuela L. Bujorianu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Variational inequalities for the stochastic reachability problem

Bujorianu, Manuela L.

Year:

2010

Language:

english

File:

PDF, 211 KB

english, 2010

2

State constrained reachability for stochastic hybrid systems

Manuela L. Bujorianu, Marius C. Bujorianu

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2011

Language:

english

File:

PDF, 534 KB

english, 2011

3

Preface

Manuela Bujorianu, Michael Fisher, Corina Pasareanu

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 102 KB

english, 2011

4

[IEEE 2009 17th Mediterranean Conference on Control and Automation (MED) - Thessaloniki, Greece (2009.06.24-2009.06.26)] 2009 17th Mediterranean Conference on Control and Automation - Stochastic reachability as an exit problem

Bujorianu, Manuela L., Blom, Henk A.P.

Year:

2009

Language:

english

File:

PDF, 227 KB

english, 2009

5

[IEEE Automation (MED 2008) - Ajaccio, France (2008.06.25-2008.06.27)] 2008 16th Mediterranean Conference on Control and Automation - A randomized model for communicating embedded systems

Bujorianu, Marius C., Bujorianu, Manuela L.

Year:

2008

Language:

english

File:

PDF, 221 KB

english, 2008

6

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - An Integrated Specification Framework for Embedded Systems

Bujorianu, Marius C., Bujorianu, Manuela L.

Year:

2007

Language:

english

File:

PDF, 5.83 MB

english, 2007

7

[IEEE 2009 17th Mediterranean Conference on Control and Automation (MED) - Thessaloniki, Greece (2009.06.24-2009.06.26)] 2009 17th Mediterranean Conference on Control and Automation - A unifying specification logic for cyber-physical systems

Bujorianu, Marius C., Bujorianu, Manuela L., Barringer, Howard

Year:

2009

Language:

english

File:

PDF, 305 KB

english, 2009

8

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Towards Hilbertian Formal Methods

Bujorianu, Marius C., Bujorianu, Marius C., Bujorianu, Marius C., Bujorianu, Marius C., Bujorianu, Manuela L., Bujorianu, Manuela L., Bujorianu, Manuela L., Bujorianu, Manuela L.

Year:

2007

Language:

english

File:

PDF, 125 KB

english, 2007

9

[IEEE 2007 Mediterranean Conference on Control & Automation - Athens, Greece (2007.06.27-2007.06.29)] 2007 Mediterranean Conference on Control & Automation - Topological superposition of abstractions of stochastic processes

Bujorianu, Manuela L., Bujorianur, Marius C.

Year:

2007

Language:

english

File:

PDF, 173 KB

english, 2007

10

[IEEE 2007 46th IEEE Conference on Decision and Control - New Orleans, LA, USA (2007.12.12-2007.12.14)] 2007 46th IEEE Conference on Decision and Control - New insights on stochastic reachability

Bujorianu, Manuela L., Lygeros, John

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

11

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Systems theory in an analytic setting

Bujorianu, Manuela L., Bujorianu, Marius C., Barringer, Howard

Year:

2011

Language:

english

File:

PDF, 206 KB

english, 2011

12

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Dealing with stochastic reachability

Bujorianu, Manuela L.

Year:

2009

Language:

english

File:

PDF, 386 KB

english, 2009

13

[IEEE Proceedings of the 45th IEEE Conference on Decision and Control - San Diego, CA, USA (2006.12.13-2006.12.15)] Proceedings of the 45th IEEE Conference on Decision and Control - Viewpoint Development of Stochastic Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Year:

2006

Language:

english

File:

PDF, 161 KB

english, 2006

14

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - How good are the stochastic analysis methods for stochastic reachability

Bujorianu, Manuela L.

Year:

2011

Language:

english

File:

PDF, 211 KB

english, 2011

15

[IEEE 2008 47th IEEE Conference on Decision and Control - Cancun, Mexico (2008.12.9-2008.12.11)] 2008 47th IEEE Conference on Decision and Control - Symmetry reduction for stochastic hybrid systems

Bujorianu, Manuela L., Katoen, Joost-Pieter

Year:

2008

Language:

english

File:

PDF, 209 KB

english, 2008

16

[Communications and Control Engineering] Stochastic Reachability Analysis of Hybrid Systems ||

Bujorianu, Luminita Manuela

Year:

2012

Language:

english

File:

PDF, 2.36 MB

english, 2012

17

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Large deviation methods for stochastic reachability

Bujorianu, Manuela L., Wang, Hong

Year:

2009

Language:

english

File:

PDF, 422 KB

english, 2009

18

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Stochastic non sequitur behavior analysis of fault tolerant hybrid systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Year:

2011

Language:

english

File:

PDF, 537 KB

english, 2011

19

[IEEE 2015 European Control Conference (ECC) - Linz, Austria (2015.7.15-2015.7.17)] 2015 European Control Conference (ECC) - Functional model reduction of inhomogeneous Markov chains

Bujorianu, Manuela L.

Year:

2015

Language:

english

File:

PDF, 194 KB

english, 2015

20

An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems

Bujorianu, Marius C., Bujorianu, Manuela L., Langerak, Rom

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 224 KB

english, 2008

21

Approximate Abstractions of Stochastic Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C., Blom, Henk A.P.

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 233 KB

english, 2008

22

State Constrained Reachability for Stochastic Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 200 KB

english, 2009

23

Stochastic Reachability: From Markov Chains to Stochastic Hybrid Systems

Bujorianu, Manuela L.

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 215 KB

english, 2011

24

Contingent Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 206 KB

english, 2012

25

A Theory of Symbolic Dynamics for Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 238 KB

english, 2011

26

DISTRIBUTED STOCHASTIC HYBRID SYSTEMS

Bujorianu, Manuela L., Bujorianu, Marius C., Maharaj, Savi

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

27

TRUE CONCURRENT STOCHASTIC PROCESSES

Bujorianu, Marius C., Bujorianu, Manuela L., Lygeros, John

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

28

FUNCTIONAL ABSTRACTIONS OF STOCHASTIC HYBRID SYSTEMS

Bujorianu, Manuela L., Blom, Henk A.P., Hermanns, Holger

Journal:

IFAC Proceedings Volumes

Year:

2006

Language:

english

File:

PDF, 345 KB

english, 2006

29

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Stochastic safety analysis of stochastic hybrid systems

Wisniewski, Rafael, Bujorianu, Manuela L.

Year:

2017

Language:

english

File:

PDF, 601 KB

english, 2017

30

Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review

Bolbot, Victor, Theotokatos, Gerasimos, Bujorianu, Manuela Luminita, Boulougouris, Evangelos, Vassalos, Dracos

Journal:

Reliability Engineering & System Safety

Year:

2018

Language:

english

File:

PDF, 907 KB

english, 2018

31

Towards a Modelling Language for Distributed Control of Cyber-Physical Systems

Bujorianu, Manuela L.

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 401 KB

english, 2018

32

p-Safe Analysis of Stochastic Hybrid Processes

Wisniewski, Rafal, Bujorianu, Manuela L., Sloth, Christoffer

Journal:

IEEE Transactions on Automatic Control

Year:

2020

File:

PDF, 1.93 MB

2020

33

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - New Insights on p-safety of Stochastic Systems

Bujorianu, Manuela L., Wisniewski, Rafael

Year:

2019

File:

PDF, 4.64 MB

2019

34

Stochastic Safety for Markov Chains

Bujorianu, Manuela L., Wisniewski, Rafael, Boulougouris, Evangelos

Journal:

IEEE Control Systems Letters

Year:

2020

File:

PDF, 498 KB

2020